Homotopy type theory - PDFSEARCH.IO - Document Search Engine

Homotopy type theory
Results: 77

#	Item
11	UNFOLDING FOLDS MATTHEW WEAVER AND DIMITRIS TSEMENTZIS A well-known problem in Homotopy Type Theory is that of constructing objects that seemingly require infinitely many coherence conditions in their definition. One sol Add to Reading List Source URL: hott-uf.github.io - Date: 2018-03-28 14:04:14
12	List of known errata in the master thesis ‘Towards a Directed Homotopy Type Theory based on 4 Kinds of Variance’ Andreas Nuyts January 27, 2016 Most of these errata are (possibly confusing) typos. Please see errata c Add to Reading List Source URL: people.cs.kuleuven.be - Date: 2016-01-27 04:46:30
13	Homotopy Type Theory in Lean Floris van Doorn Department of Philosophy Carnegie Mellon University leanprover.github.io Add to Reading List Source URL: www.math.ias.edu - Date: 2016-07-28 14:38:46
14	Homotopy Type of Disentanglements of Multi-germs Kevin Houston School of Mathematics University of Leeds Leeds, LS2 9JT, U.K. Add to Reading List Source URL: www.kevinhouston.net Language: English - Date: 2010-09-20 07:31:14 Algebra Abstract algebra Mathematics Algebraic topology Homology theory Cohomology Spectral sequence CW complex Sheaf Closed and exact differential forms MayerVietoris sequence Grushko theorem
15	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2012-04-26 12:08:31 Mathematical logic Type theory Logic Mathematics Homotopy type theory Univalent foundations First-order logic Natural deduction CurryHoward correspondence
16	“THE HOMOTOPY TYPE OF THE COBORDISM CATEGORY” PROPOSAL FOR A SEMINAR PROGRAM WINTERSEMESTERThe main aim of the seminar will be to understand the main theorem in [GMTW07] and its proof. Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2007-11-15 04:50:26 Topology Abstract algebra Algebra Algebraic topology Surgery theory Homotopy theory Differential topology Sheaf theory Sheaf Cobordism Differentiable manifold H-cobordism
17	Partial Type Equivalences for Verified Dependent Interoperability ∗ Pierre-Evariste Dagand Nicolas Tabareau Add to Reading List Source URL: pleiad.dcc.uchile.cl Language: English - Date: 2016-05-27 18:01:04 Type theory Equivalence relation Dependent type Preorder Homotopy type theory Monad Equivalence of categories Partial equivalence relation Type system Category Binary relation Lambda calculus
18	Basic Notions Seminar November 2014 A brief course in model categories ABSTRACT. Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2014-11-09 16:34:04 Homotopy theory Model category Homotopical algebra Homotopy Higher category theory Topology Stable homotopy theory Homotopy group Homotopy type theory
19	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2012-04-26 12:08:36 Homotopy theory General topology Topology Contractible space Connected space Homotopy Univalent foundations Topological space Continuous function
20	Rigid local systems and motives of type G2 Add to Reading List Source URL: web.math.princeton.edu Language: English - Date: 2010-07-03 12:04:41 Algebraic topology Algebraic geometry Complex analysis Homotopy theory Homological algebra Monodromy Motive Sheaf Cohomology Ample line bundle Convolution Duality